@InProceedings{CerqueiraSilRodAmbVil:2016:TwInPr,
               author = "Cerqueira, Christopher Schneider and Silva, Paulo Diego Barbosa da 
                         and Rodrigues, Italo Pinto and Ambrosio, Ana Maria and Villani, 
                         Emilia",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)} and {Instituto Nacional de Pesquisas 
                         Espaciais (INPE)} and {Instituto Tecnol{\'o}gico de 
                         Aeron{\'a}utica (ITA)}",
                title = "Two independent processes of verification applied to a satellite 
                         simulator",
            booktitle = "Anais...",
                 year = "2016",
               editor = "Cerqueira, Christopher Shneider and Souza, Alain Giacobini de and 
                         Oliveira Junior, Eloy Martins de and Bertoldo Junior, Jorge and 
                         Yassuda, Irineu dos Santos and Lima, Jeanne Samara dos Santos and 
                         Morais, Marcelo Henrique Essado de and Oliveira, M{\^o}nica 
                         Elizabeth Rocha de and Gondo, Suely Mitsuko Hirakawa and Fornari, 
                         Celso Israel and Toledo, Rafael Cardoso and Fischer, Gustavo 
                         Alexandre Achilles",
         organization = "Workshop em Engenharia e Tecnologias Espaciais, 7. (WETE)",
            publisher = "Instituto Nacional de Pesquisas Espaciais (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
             keywords = "Software Verification, Modeling \& Simulation, Conformance Test, 
                         Systems Verification, Model-Based Test.",
             abstract = "The process of a satellite simulator software verification demands 
                         high-efficiency in meeting realistic set of functional 
                         requirements. Based on this, the manual verification process 
                         becomes impracticable, thereby requiring an automated process. The 
                         satellite behavior that is represented here into tables of 
                         cause-effect rules requires to assure that the logic implemented 
                         in the simulator conforms to the logic of the cause-effect tables. 
                         Therefore, this survey suggests two different processes, and 
                         compare which one is most efficiently in detecting errors in the 
                         software. This processes involves the union of two techniques, 
                         Conformance and Fault Injection (CoFI) and Model Checking combined 
                         as a method to translate the tables of cause-effect into finite 
                         state machines as first input to automating the processes. The 
                         comparison will define which process generates the best logical 
                         coverage of the models and create test cases more efficient in 
                         finding more errors before not seen through the manual 
                         verification process.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "23-25 ago. 2016",
                 issn = "2177-3114",
             language = "pt",
                  ibi = "8JMKD3MGP3W34P/3ME84P5",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34P/3ME84P5",
        urlaccessdate = "28 abr. 2024"
}